Linear and Negative Resolution are Weaker than Resolution
نویسندگان
چکیده
We prove exponential separations between the sizes of particular refutations in negative, respectively linear, resolution and general resolution. Only a superpolynomial separation between negative and general resolution was previously known. Our examples show that there is no strong relationship between the size and width of refutations in negative and linear resolution. Research partially supported by NSF grant CCR-9457782, US-Israel BSF Grant 95-00238, and an NSERC University Faculty Award. 1 Electronic Colloquium on Computational Complexity, Report No. 74 (2001)
منابع مشابه
RESOLUTION METHOD FOR MIXED INTEGER LINEAR MULTIPLICATIVE-LINEAR BILEVEL PROBLEMS BASED ON DECOMPOSITION TECHNIQUE
In this paper, we propose an algorithm base on decomposition technique for solvingthe mixed integer linear multiplicative-linear bilevel problems. In actuality, this al-gorithm is an application of the algorithm given by G. K. Saharidis et al for casethat the rst level objective function is linear multiplicative. We use properties ofquasi-concave of bilevel programming problems and decompose th...
متن کاملInvestigation of the effect of source distance and scattering medium on spatial resolution and contrast of Gamma camera images [Persian]
By identifying the effect of any parameter such as distance, attenuation and scattering on the Line Spread Function (LSF), one can compensate the quantitative and qualitative destructive effect of such parameters by deconvolution method. Using a 99mTC line source, this study was performed on a single head ADAC SPECT system operating in planar mode. Variation of FWTM and FWHM and LSFs as a...
متن کاملResolution of Fuzzy Complex Systems of Linear Equations Via Wu's Method
The aim of this paper is to present algebraic method which is called Wu's method to solving fuzzy complex systems of linear equations. Wu's method is used as a solution procedure for solving the crisp polynomial equations system. This algorithm leads to solving characteristic sets that are amenable to easy solution. To illustrate the easy application of the proposed method, numerical examples a...
متن کاملThe priority of Change Motivation to contemplation motivation: interpersonal conflict resolution
There are Various motives that some of them can help to resolving interpersonal conflicts and others may prevent its resolve. According to the regulation style theory, the motivation for change, i.e. the desire to come out of the current state of conflict, can help to conflict resolution, but there is an opposite motivation, one that prevents the resolution of the conflict, and it is the motiva...
متن کاملPredicting Psychological Hardiness Based on Relationship Patterns Between Couples and Conflict Resolution Styles in Married Men Affected by Spouse Extramarital Relationship
The aim of the present study was to investigate the prediction of Psychological Hardiness based on communication patterns between couples and conflict resolution styles in married men affected by an extramarital affair. This research was descriptive and correlational. The statistical population of this study was married men affected by the extramarital affair of their spouses who were referred ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Electronic Colloquium on Computational Complexity (ECCC)
دوره 8 شماره
صفحات -
تاریخ انتشار 2001